Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 4401 - 4440 hits of 5583. Search took 0.00 seconds.
| Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/35/Everything/s390x/Packages/i/idris-common-1.3.4-1.fc35.noarch.rpm |
| Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/35/Everything/armhfp/Packages/i/idris-common-1.3.4-1.fc35.noarch.rpm |
| Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/35/Everything/ppc64le/Packages/i/idris-common-1.3.4-1.fc35.noarch.rpm |
| Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/35/Everything/aarch64/Packages/i/idris-common-1.3.4-1.fc35.noarch.rpm |
| Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/35/Everything/ppc64le/os/Packages/i/idris-common-1.3.3-6.20210626git2ef8238d0.fc35.noarch.rpm |
| Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/35/Everything/aarch64/os/Packages/i/idris-common-1.3.3-6.20210626git2ef8238d0.fc35.noarch.rpm |
| Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/35/Everything/x86_64/os/Packages/i/idris-common-1.3.3-6.20210626git2ef8238d0.fc35.noarch.rpm |
| Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/35/Everything/s390x/os/Packages/i/idris-common-1.3.3-6.20210626git2ef8238d0.fc35.noarch.rpm |
| Fedora 35 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/35/Everything/armhfp/os/Packages/i/idris-common-1.3.3-6.20210626git2ef8238d0.fc35.noarch.rpm |
| Fedora 34 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/34/Everything/ppc64le/os/Packages/i/idris-common-1.3.3-3.fc34.noarch.rpm |
| Fedora 34 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/34/Everything/aarch64/os/Packages/i/idris-common-1.3.3-3.fc34.noarch.rpm |
| Fedora 34 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/34/Everything/x86_64/os/Packages/i/idris-common-1.3.3-3.fc34.noarch.rpm |
| Fedora 34 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/34/Everything/s390x/os/Packages/i/idris-common-1.3.3-3.fc34.noarch.rpm |
| Fedora 34 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/34/Everything/armhfp/os/Packages/i/idris-common-1.3.3-3.fc34.noarch.rpm |
| Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/33/Everything/armhfp/os/Packages/i/idris-common-1.3.3-2.fc33.noarch.rpm |
| Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/33/Everything/aarch64/os/Packages/i/idris-common-1.3.3-2.fc33.noarch.rpm |
| Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/33/Everything/s390x/os/Packages/i/idris-common-1.3.3-2.fc33.noarch.rpm |
| Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/33/Everything/x86_64/os/Packages/i/idris-common-1.3.3-2.fc33.noarch.rpm |
| Fedora 33 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/33/Everything/ppc64le/os/Packages/i/idris-common-1.3.3-2.fc33.noarch.rpm |
| Fedora 32 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/32/Everything/s390x/os/Packages/i/idris-common-1.3.2-3.fc32.noarch.rpm |
| Fedora 32 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/32/Everything/armhfp/os/Packages/i/idris-common-1.3.2-3.fc32.noarch.rpm |
| Fedora 32 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/32/Everything/ppc64le/os/Packages/i/idris-common-1.3.2-3.fc32.noarch.rpm |
| Fedora 32 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/32/Everything/aarch64/os/Packages/i/idris-common-1.3.2-3.fc32.noarch.rpm |
| Fedora 32 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/32/Everything/x86_64/os/Packages/i/idris-common-1.3.2-3.fc32.noarch.rpm |
| Fedora 31 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/31/Everything/armhfp/os/Packages/i/idris-common-1.3.2-1.fc31.noarch.rpm |
| Fedora 31 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/31/Everything/ppc64le/os/Packages/i/idris-common-1.3.2-1.fc31.noarch.rpm |
| Fedora 31 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/31/Everything/aarch64/os/Packages/i/idris-common-1.3.2-1.fc31.noarch.rpm |
| Fedora 31 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/31/Everything/x86_64/os/Packages/i/idris-common-1.3.2-1.fc31.noarch.rpm |
| Fedora 31 | /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/31/Everything/s390x/os/Packages/i/idris-common-1.3.2-1.fc31.noarch.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/lorenz:/haskell/openSUSE_Tumbleweed/x86_64/idris-1.3.1-7.1.x86_64.rpm |
| openSUSE Leap 15 | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/9/openSUSE_Leap_15.0/x86_64/idris-1.0-lp150.10.1.x86_64.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/9/openSUSE_Tumbleweed/x86_64/idris-1.0-9.25.x86_64.rpm |
| openSUSE Leap 42 | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/8/openSUSE_Leap_42.3/x86_64/idris-1.0-10.7.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/8/SLE_12_SP2_Backports/x86_64/idris-1.0-10.3.x86_64.rpm |
| openSUSE Tumbleweed | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/8/openSUSE_Tumbleweed/x86_64/idris-1.0-10.25.x86_64.rpm |
| openSUSE Leap 42 | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/8/openSUSE_Leap_42.2/x86_64/idris-1.0-10.1.x86_64.rpm |
| OpenSuSE | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/9/SLE_12_Backports/x86_64/idris-1.0-10.1.x86_64.rpm |
| openSUSE Leap 42 | /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/9/openSUSE_Leap_42.3/x86_64/idris-1.0-10.1.x86_64.rpm |
| Fedora 24 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/24/x86_64/i/idris-0.9.9.1-8.fc24.x86_64.rpm |
| Fedora 24 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/24/i386/i/idris-0.9.9.1-8.fc24.i686.rpm |
